//
//  main.cpp
//  P4325
//
//  Created by 洋犀利 on 2019/8/31.
//  Copyright © 2019 洋犀利. All rights reserved.
//

#include <iostream>
using namespace std;
int numbers[10];
int last[10];
int total[10];
int difs;
int head=1;

int main(int argc, const char * argv[]) {
    for(int i=0;i<10;i++){
        last[i]=-1;
    }
    for(int i=0;i<10;i++){
        cin>>numbers[i];
    }
    for(int i=0;i<10;i++){
        last[i]  = numbers[i]%42;
    }
    //int f=0;
    for(int i=0;i<10;i++){
        for(int j=head;j<10;j++){
            if(last[i]==last[j]){
                last[j]=-1;
            }
        }
        head++;
    }
    for(int i=0;i<10;i++){
        if(last[i]!=-1)
            difs++;
    }
    cout<<difs;
    
    return 0;
}
